松花江公路大桥所处环境条件调查及检测

在建松花江公路大桥位于东北寒冷地区,其易受冻融循环作用的影响,因此,对大桥所处地区的气温、湿度、降雪量、冰冻时间、年冻融循环次数等进行全面的调查和测试是十分必要的.为之,对大桥的腐蚀环境进行了详细调查,对大桥环境中的侵蚀性气体进行了检测,对大桥区域中的大气降水及松花江水质进行了分析,并对河床泥土侵蚀性离子进行了综合测试...     

Expected runtimes of evolutionary algorithms for the Eulerian cycle problem

Evolutionary algorithms are randomized search heuristics, which are applied to problems whose structure is not well understood, as well as to problems in combinatorial optimization. They have successfully been applied to different kinds of arc routing problems. To start the analysis of evolutionary algorithms with respect to the expected optimization time on these problems, we consider the Eulerian cycle problem. We show that a variant of the well-known (1+1)$(1+1)$ EA working on the important encoding of permutations is able to find an Eulerian tour of an Eulerian graph in expected polynomial time. Altering the operator used for mutation in the considered algorithm, the expected optimization time changes from polynomial to exponential.     

Parallel Lagrange interpolation on <Emphasis Type="Italic">k</Emphasis>-ary <Emphasis Type="Italic">n</Emphasis>-cubes with maximum channel utilization

This paper proposes an efficient parallel algorithm for computing Lagrange interpolation on k-ary n-cube networks. This is done using the fact that a k-ary n-cube can be decomposed into n link-disjoint Hamiltonian cycles. Using these n link-disjoint cycles, we interpolate Lagrange polynomial using full bandwidth of the employed network. Communication in the main phase of the algorithm is based on an all-to-all broadcast algorithm on the n link-disjoint Hamiltonian cycles exploiting all network channels, and thus, resulting in high-efficiency in using network resources. A performance evaluation of the proposed algorithm reveals an optimum speedup for a typical range of system parameters used in current state-of-the-art implementations.

基于CIC抽取滤波器的谐波分析算法

为消除非同步采样引起的频谱泄漏,提高电网信号的谐波分析精度,提出了基于级联积分梳状(CIC)抽取滤波器的谐波分析算法。在前端AD过采样的情况下,该算法采用逆向搜索的方法实现非同步采样数据的整周期截断,用基于CIC抽取滤波器变频的方法实现信号采样频率与信号基波频率同步,通过快速傅立叶变换(FFT)得到信号频谱,计算基波及各次谐波的幅值和相位。仿真实验结果及误差分析表明,相对于常规的分析方法,该算法具有较高的测量精度。该算法对于非稳态周期信号的谐波分析只需单周期采样,简单易实现,是一种有效的测量方法。     

Stability analysis of a class of digital filters utilizing single saturation nonlinearity

A novel criterion for the global asymptotic stability of a class of digital filters utilizing single saturation nonlinearity is presented. An example showing the effectiveness of the present criterion is given.     

Efficient realization of frequently used bijections on cube-connected cycles

CCC has lower hardware complexity than hypercube and is suited for current VLSI technology.LC-permutations are a large set of important permutations frequently used in various parallel computations.Existing routing algorithms for CCC cannot realize LC-permutations without network conflict.We present an algorithm to realize LC-permutations on CCC.The algorithm consists of two periods of inter-cycle transmissions and one period of inner-cycle transmissions.In the inter-cycle transmissions the dimensional links of CCC are used in a “pipeline” manner and in the inner-cycle transmissions the data packets are sorted by a part of its destination address.The algorithm is fast (O(log2N)) and no conflict will occur.     

干湿循环作用下钢筋混凝土氯离子侵蚀与寿命预测

在已有水泥混凝土氯离子侵蚀模型基础上,综合考虑外部环境因素(温度、湿度、风速)与混凝土自身条件(龄期、氯离子吸附效应)对非饱和混凝土氯离子侵蚀的影响,建立干湿循环下混凝土氯离子传输模型并进行实验验证。根据运算的复杂程度对Fib Model Code模型进行优化,建立干湿循环作用下钢筋混凝土寿命预测模型,可为实际工况下受氯离子侵蚀钢筋混凝土材料设计与寿命预估提供参考。     

天然活性包装膜在冷冻肉贮藏中的应用研究进展

目的 对天然活性包装膜在冷冻肉贮藏中的应用研究进展进行总结,为后续研究提供理论参考。方法 在介绍反复冻融对冷冻肉品质影响的基础上,围绕天然活性包装膜的功能成分、成膜工艺及其在冷冻肉贮藏中的应用研究予以阐述,讨论现有研究的局限性和今后的研究方向。结果 冻融过程中冰晶的反复形成影响冷冻肉体系的细胞结构和理化性质,加剧肉品品质下降;天然活性包装膜可以通过降低干耗、抑制氧化等延长肉品货架期。结论 天然活性包装膜可有效保护冷冻肉品,在肉品保鲜领域具有广阔的应用前景。     

An algorithmic mitigation of large spurious interprocedural cycles in static analysis

We present a simple algorithmic extension of the approximate call‐strings approach to mitigate substantial performance degradation caused by spurious interprocedural cycles. Spurious interprocedural cycles are, in a realistic setting, the key reasons for why approximate call‐return semantics in both context‐sensitive and ‐insensitive static analysis can make the analysis much slower than expected. In the approximate call‐strings‐based context‐sensitive static analysis, because the number of distinguished contexts is finite, multiple call‐contexts are inevitably joined at the entry of a procedure and the output at the exit is propagated to multiple return‐sites. We found that these multiple returns frequently create a single large cycle (we call it ‘butterfly cycle’) covering almost all parts of the program and such a spurious cycle makes analyses very slow and inaccurate. Our simple algorithmic technique (within the fixpoint iteration algorithm) identifies and prunes these spurious interprocedural flows. The technique's effectiveness is proven by experiments with a realistic C analyzer to reduce the analysis time by 7–96%. As the technique is algorithmic, it can be easily applicable to existing analyses without changing the underlying abstract semantics, it is orthogonal to the underlying abstract semantics' context‐sensitivity, and its correctness is obvious. Copyright © 2010 John Wiley & Sons, Ltd.     

Oscillations and transfer properties of relay feedback systems with time-delay linear plants

Oscillations and transfer properties of relay feedback systems with linear plants having a dead time (time delay) are considered. Poincare maps are found explicitly in terms of the system parameters. The oscillatory and transfer properties are presented in the format of the locus of a perturbed relay system (LPRS), which represents the continuum of all possible periodic solutions and transfer properties of the system with a given linear plant. Conditions of local orbital asymptotic stability are found in terms of the system parameters. The proposed approach is illustrated by examples.